A classical view of the intuitionistic continuum
نویسندگان
چکیده
منابع مشابه
Another View of the Classical Problem of Comparing Two Probabilities
The usual calculation of the P-value for the classical problem of comparing probabilities is not always accurate. This issue arose in the context of a legal dispute which depended on when some written material was written in a diary. The problem raises some issues on the foundations of statistical inference.
متن کاملHow Connected Is the Intuitionistic Continuum?
In the twenties Brouwer established the well-known continuity theorem “every real function is locally uniformly continuous”, [Brouwer 1924, Brouwer 1924a, Brouwer 1927]. From this theorem one immediately concludes that the continuum is indecomposable (unzerlegbar), i.e. if R = A∪B and A∩B = ∅ (denoted by R = A+B), then R = A or R = B. Brouwer deduced the indecomposability directly from the fan ...
متن کاملOn the intuitionistic force of classical search
The combinatorics of proof-search in classical propositional logic lies at the heart of most eecient proof procedures because the logic admits least-commitment search. The key to extending such methods to quantiiers and non-classical connectives is the problem of recovering this least-commitment principle in the context of the non-classical/non-propositional logic; i.e., characterizing when a l...
متن کاملThe Classical continuum without Points
We develop a point-free construction of the classical onedimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quanti cation. In some respects this realizes ideas going back to Aristotle, although, unlike Aristotle, we make free use of classical "actual in nity". Also, in contrast to intuitionistic, Bishop, and smooth in nitesimal a...
متن کاملContinuum as a Primitive Type: Towards the Intuitionistic Analysis
It is a ubiquitous opinion among mathematicians that a real number is just a point in the (real) line. If this rough definition is not enough, then a mathematician may provide a formal definition of the real numbers in the set theoretical and axiomatic fashion, i.e. via Cauchy sequences or Dedekind cuts, or as the collection of axioms (up to isomorphism) characterizing exactly the set of real n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1996
ISSN: 0168-0072
DOI: 10.1016/0168-0072(95)00050-x